🔍 eBPF Verifier - hello · Scour

Bridging Code Property Graphs and Language Models for Program Analysis 🌳Tree-sitter

arxiv.org·6d·

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 🔬Static Analysis

arxiv.org·2d·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Macros

arxiv.org·2d·

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis 🔎Valgrind

arxiv.org·2d·

Loading more...